\frame[containsverbatim]
{
  \frametitle{FindInconsistentSync implementation (continued)}
{\scriptsize
\begin{verbatim}
@Override
public void finishPass() {
  Iterator<Map.Entry<XField, AccessCount>> i =
    accessMap.entrySet().iterator();
  while (i.hasNext()) {
    Map.Entry<XField, AccessCount> entry = i.next();
    
    if (!entry.getValue().isInconsistent()) { continue; }
    
    BugInstance warning = new BugInstance(
      this, "ISYNC_INCONSISTENT_SYNC", Priorities.NORMAL_PRIORITY);
    warning.addClass(entry.getKey().getClassName());
    warning.addField(entry.getKey());
    for (SourceLineAnnotation sourceLoc : entry.getValue().unsyncLocList) {
      warning.addSourceLine(sourceLoc).describe("SOURCE_LINE_UNSYNC_ACCESS");
    }
    
    bugReporter.reportBug(warning);
  }
}
\end{verbatim}
}
}
